Added interface files

- token.mli
- types.mli