Test can now open a problem directly from ghci, can check solution