aop-prelude-0.3.0.2: prelude for Algebra of Programming