implement occurs in list
Implement newvar functionality
Cleanup
merp
remove pgm
cleanup formats
fix prec