Added diagonal cat Almaps, and implemented expression sumfor, catfor, and constrainfor.