lambda runtime v0.1\ to type λ, [0-9] to type subscripts, := for assignment, upper-case for multi-letter variables>