technical edits and theoretical comments
working...
starting
re-wrote objective and constraint section without expression nodes