Added Syntax.ml; put observations in a separate module (previously in Angluin.ml); updated makefile)