Twelf interpreter

Hoping to build a twelf interpreter with caching to cut execution on already computed function calls.
There's a long way to go, the project is still in early develpment and I've never written a serious interpreter before.