Add float[[]] matrix type
Add PI and E as symbolic constants
Remove type.mli. rename var_type to vartype to be consistent with 'datatype'