Property definitions

ios :: ui $ UITextField :: size=
	private fun size=(points: Float)
	in "ObjC" `{
		self.font = [UIFont systemFontOfSize: points];
	`}
lib/ios/ui/ui.nit:385,2--388,3