Some work on TypeSystem
Detecting Arrays and streams using type traits
Integrated the new type system