No more base control

Got rid of monadcontrol since we probably don't want anything but IO as base

@thsutton