clarifies that the interpreter only deals with TSTs
clarifies the magic TST API

We can provide not just MethodSymbol.body, but the entire Symbol.source.

That's going to be very useful for the interpreter, because that would
save it from worrying about discovering (possibly forward-looking)
definitions on its own.
Merge pull request #3 from xeno-by/master

some clarifications about the interpreter's contract