Optionally-Typed Function Parameters
We should allow for types to be specified for parameters in order to ensure that the supplied types meet certain criteria. We need to come up with a syntax for that. By default, everything is assumed to be a variable string.