Fixes for type argument handling.

(1) Type arguments now get a coordinate.
(2) They are labeled Override

(2) avoids having to special case TypeArgs in OverridingPairs.
Some fixes to override checking in RefChecks.

`override` was not recognized at all on types.