Modified jUnit tests and creation of small wormprograms for typechecking and well-formed.