A continuum of theories of lambda calculus without semantics