Constructors for empty sequence, symboltable etc. do not need a dummy element

	modified:   ocaml/main.ml
	modified:   ocaml/support.ml
First data structures for the verifier

- Expressions which implement simply typed lambda calculus
- Function expansions, beta reductions and abstractions

	new file:   ocaml/verify.ml