Finished writing POMDPDiaperDomain.  It compiles.