ernie cohen

A workaround is to skip the refinement notation, e.g. ``` module B refines A { function F(x: int): (r: int) { x + 1 } } ``` Note that if...

I assume this is a temporary breakage, but this means a regression test should probably be added.

no crash when match is replaced with conditionals

I should have mentioned that this is with --type-system-refresh --general-newtypes.