simpler refinement syntax

e.g. `x:{Int | x > 0}`, fixes #152