Added support for default type parameters. Instance declaration no longer inherit constraints from type references