Merge new readme
test for is_legal_term/1
a few more language primative tests
remove eunit, just use quickcheck for everything
merge
Merge in remote branch