Work towards printer of systems
- remove parameterization over names
- implement conversion from derivation to system
- implement symbolic heap
- 1st draft of pretty printer of sympoblic heaps