Create Qp.hs

with quickCheck tests
needs AccessoryFunctions.hs