Implement Int and Float
Infer binOp about Int and Float
v0.8.1
Extend properties in class definition
Restore tests