-add tag to Either and remove isY() to make it more like all the other algebraic data types
-refactor a bunch of expressions into "resolve"