Default implementation of inferTypeSymEnv
Using VarId from Syntactic
Small improvement in maxBV
Removed share
Added BindingTyped.hs
Renamed Feldspar back end module
Added Feldspar front end with typed AST
Added example file
Binding.hs: Renamed some functions
Started implementing inference/erasure for Feldspar with binders