added 'pre' and 'post' via Via
added a bunch of simple relative adjunctions and monads