lenses in Alloy generator