added some explicit signatures
added warning
dynference update
missing files
first, over-engineered version of the prototype interpreter