aop-prelude-0.3.1.0: prelude for Algebra of Programming