'ret none;' should typecheck

[marijnh]

Probably, this indicates that the typechecker isn't unifying ret expressions with the enclosing function's return type. Currently, you always have to provide a type parameter to return argumentless tag variants.

[pcwalton]

Fixed as of unify revamp. Test case added in commit 2f853dd.