Removal of all comments
arb to spec
removed Tests.ml
removed Tests.ml from makefile
added types
Merge pull request #7 from MarwanG/master

clean up