Dimension-complemented lambda abstraction algebras