new mappings from java to Z3
  - add types and arrays
- new trace namespace
- add fn for create const for method params
- move trace functions to its own namespace