generalising printer
looping during solve-system
fixing bug in choose-primes