support for parameterized types and traits
ability to read inline types and traits definitions