A library to extends IceSL with higher-level primitives.