Sast Foundation

Please go over this before the meeting tmrw. Also, I uncommented some lines in the Makefile that were commented out by Jim. They were in the original Makefile and compile the types.mli file properly.

Side note: ocamlc syntax "open Type" will cause a warning if you reference the Type module explicitly, ie. Type.var_type. It's dumb ocaml stuff. Sorry if that wasn't clear. Daria or I can explain better if people are curious.