updated test-case generators
added type checking functions
large amorphous commit.
updated more tests.
removed more old forall tests
updated more tests.
fixed an issue in limit.
fixed a broken test.
updated tests
updated news.
Merge branch 'develop' into releases