TODO.md

1. Get Y Combinator example
2. Create a Universal Combinator given some encoding, similar to Tromp's Binary Lambda Calculus universal machine.