Add syntax.mli
Add expression and const type to syntax.mli