dlman: Unsound types in a few places that need to be resolved, notably acquire_lock and send_job both have type 'a, which is definitely not intended. I think the problem is exceptions.  Needs to be cleaned up for sure, before the main function (which the typechecker hates for now, with good reason) is workable.