Now parses types and type signatures.