Fixed escaping of camel case Prolog atoms
Do not declare predicates for built-in types.
Example of SVG used to visualise a small numerical calculation
Refactoring
Some refactoring, and an example failing test that generates SVG
Some refactoring