Added failing unit test.
Partial implementation of new, simplified type system form.
Added a unit test for type failures on simple functions.
Added some error formatting.
Added a failing unit test.  (Failure is at least partially due to parser UID assignment.
Removed extraneous comment.
Parser operator (#) now only adds a UID if one is not already present.