semtrex parser now takes a defs tree and resolves symbols from it.