move propogate type functions into methods of Node. slightly clutter but more stable for this refactor. (propogate_type methods will set node's resolved-status flags, plus the node is needed for error messages
resolve result moving to a simple flag