add 2013-01-11 files: lattice, monotone, continuous, least fixed-point