Parse out types from ADT constructors.

Should help with type-checking things like the Json library.