Add function registry to DefaultVerifierBuilder
Add basic functions of Lisp
Add form tests
Fix bug in default verifier builder which prevents symbol loading.
Rename FormTest to ConsTest
Detach BaseForm from Basic
Improve error message of Loop
Fix obrect creation style of CompositePredicates.
Add test cases
Add tests (Java bindings)
Fix bug in 'domainMethod' that swallows invocation target exceptions.
Make domainMethod list both declared methods and then methods.
Change method signature of domainMethods so that its implementations
become able to throw exceptions.
Organize import statements.
Implement Java method calling function.
Organize eval mechanism (1)