add syntax info
add typedef syntax and parser
add type.ml
Extensively Change.