Fixes Symbol
Adds .mli for type checking module architecture
Adds a dummy Translate module
Adds the Types module