Evaluation

Evaluation of λ terms. More or less starting out with a typed λ calculus and finding my way to Tesseract’s notion of signalized evaluation w/ multiple time-independent parameters & returns, etc.