Mathematics in CLIM, CLtL2