Added tests for additional monad ops, default record field values, and some new, minor bugs, and implemented the monad ops.