Added LFP module for abstract least fixed-point stuffs