aop-prelude-0.4.0.0: prelude for Algebra of Programming