removed test code
fixed type error in Mathdoku#print!
constraining number of variables the easy way ;)