Add support for parameterized types (start with decimal)

[westonpace]

We should be able to add parameterized types to the schema and use functions involving parameterized types. Decimal is a good type to start with but some of the decimal functions will involve return programs which should probably be handled in a separate issue.