Add check to static-arg such that type variables don't become unbound.
Add coercion variables to static-arg.