Document language module I/O

[tarolling]

i would like to actually write down what the expected formats are:

• going into the parser
• coming out of the parser
• going into the resolver
• coming out of the resolver

this would make tests much easier to write, and allow for others to more easily add functionality to the parsing and resolving processes