WyC: added some very nice documentation regarding the parsing of assignment statements, variable declarations and invocation statements.