Add default methods
Add type inference for members of the universe