Support for constructors, methods, traits, pattern matching