Removal of all comments
arb to spec
removed Tests.ml
removed Tests.ml from makefile
added types