Port previous type wildcards implementation
Type wildcards are disallowed in type synonyms, data declarations, instances. #287
Merge pull request #714 from purescript/287

Type Wildcards