[Grace-core] Type syntax

[Timothy Jones]

On 07/02, Andrew P. Black wrote:
> I’ve posted a proposed resolution at the bottom of the wiki page:
> https://projects.cecs.pdx.edu:8443/~black/NewOOL/index.cgi/wiki/RevisedTypeSyntax
> and appended to this message.

This is now on master of Minigrace. Type literals without the type keyword are
illegal, except when they appear as the sole inhabitant of a type declaration.

-- 
Tim