semantic: add isFloatingPoint and isImplicitlyConvertable to classify
semantic: Integer implicitly converts to floating point
test: Add test for converting integer implicitly to floating points
semantic: Fix cat-append also extypeBinOp
test: Improve Array test 13