Refines stable ids to allow fqn method designators
Replaces FunTypeParamClause with TypeParamClause

* can now have annotations in function type parameters