Periaate

Types are spaces. Evaluation is traversal. Termination is proof.