Work on exceptions, rule action resolution: t+