A Variable free calculus for Equational Programming