Merge branch 'master' into bindings
Extension of the Javascript binds for the first type test.
Wrapped string encodings into a Javascript object.
Additon of functionality to the python bindings.
Addition of natural number functionality to the java bindings.
Merge branch 'bindings'