Make use of ocaml's type system#57

Open

pkel wants to merge 5 commits intoOvermindDL1:masterfrom

Commits on Oct 28, 2017

Introduce functors. *programm -> Make*Program
pkel
committed

Commits on Oct 29, 2017

Commits on Oct 31, 2017

Fix unit types
pkel
committed