Subtype parametrized types

This allows subtyping parametrized types, or any coderef really.  Also includes some tests for things that were covered previously.