A monadic interpretation of execution levels and exceptions for AOP