mofun

100s of standalone low-level helpers, higher-order functions, sorts, and utilities