Adding free <= and => to spec logic.

Also starting to add &. It is parsed and typechecked, but reasoning on it
is currently incorrect. There is no support for case splitting when
encountering a focused conjunction.