Remove unused name binding definitions.
Added name binding rules for type parameters and arguments.