add helper url.
bool constants are ok with me.
parse divergent types.
typecheck conditionals and divergent types.
more notes.
add == and !=, and eval conditionals.
merge sub-branches.
rename to disjoint type.
fix test.
pull out buildScopes into its own stage.
this doesn't work, but i feel like it should be checkpointed anyway.
move typestate into its own file.
normalize struct separately from typechecking.
show more debugging in scopes.
allow a simplistic resolver of unknown types for now.
remove a bunch of now-dead code.
oops
track comments.
cleanup syntax to match reality.
allow a type declaration on a handler