Nyi coercive types

turns "two terms in a row" or "missing block" into "coercive type declarations not yet implemented" (and also removes the 'is' that came after the feature name and looked strange).

It passes the whole spec test suite.