Attempted dependent type interpreter in Coq - forked from https://code.google.com/p/outrageous-interpreter/