First pass at paramaterized type constructors.
Second pass at parameterized types.
Added Maybe parameterized type example
Tweak error message