Add type annotation defs

* ObjectTypeAnnotation
* VoidTypeAnnotation
* ParametricTypeAnnotation
* OptionalParameter

cc @gabelevi @DmitrySoshnikov @jeffmo @benjamn 
Intent the last argument, please.