Made RefineTypes have cases instead of a single pattern
Changed representation of Forall and Exists
Added type to sequence computation
Added result type to computation types.
Got rid of old Pattern type, renamed old Binding type to pattern.