Added a post-parsing verification step that enabled the following:

- Easy enforcement that return values cannot mix void and non-void types
- Fixing of error where arrayOf types could contain void
- Simplification of the parser, elimination of reduce/reduce conflicts
- Future inclusion of type-specific verification
Bump up a bugfix version to 0.5.3