Cleanup: LamE1 => Lam1E and similarly for other constructors