Create types.ml
Merge pull request #1 from arjunguha/master

Create types.ml