Fix issue with comparing t-name's.
Add error for giving arguments to a type that takes none.

This error is for when the programmer gives arguments to a type that
isn't supposed to take any. For example, Number<A>, { a :: Number }<A>,
etc.
Make satisfies-type a function and not a method.

satisfies-type is now a function, and has been moved into
type-constraints.arr so that it can make use of generate-constraints if
necessary.