fixes Binop case return type
gets it compiling through comments, renaming all .mli to .ml, and adjusting Makefile