aop-prelude-0.4.1.2: prelude for Algebra of Programming