Property definitions

nitc $ SeparateCompiler :: compile_box_kinds
	fun compile_box_kinds
	do
		# Collect all bas box class
		# FIXME: this is not completely fine with a separate compilation scheme
		for classname in ["Int", "Bool", "Byte", "Char", "Float", "CString",
				 "Pointer", "Int8", "Int16", "UInt16", "Int32", "UInt32"] do
			var classes = self.mainmodule.model.get_mclasses_by_name(classname)
			if classes == null then continue
			assert classes.length == 1 else print_error classes.join(", ")
			self.box_kinds[classes.first] = self.box_kinds.length + 1
		end
	end
src/compiler/separate_compiler.nit:261,2--272,4