put annotations in place
freeze prelude
all class operations can be exported unless they have let
transition to Category and Semigroupoid