One-sorted Program Algebras