Making Sense of Lambda Calculus 0: Abstration, Reduction, Substitution?