Comments + inferTypesCast
Removed erase/inferTypesFeld
Added missing extensions to test suite
Fixed type inference for Lam
Added ORD and ForLoop to Feldspar
Added FloatType to Feldspar
Changed Feldspar module structure and added front end functions
Temporary generic typing rule
Type erasure/inference for ORD etc.
Added Feldspar.Vector
Feldspar vector examples