Added macro generateCdd.
Updated system-imports.laja.