Removed some cases that ocaml was complaining about in sast and ast; formatted some stuff in semanalyze