Made Problem derive Show for debugging purposes.
Can now generate automatically Block World problems for QuickCheck.