store some information in `v_extra` to avoid lookups
remove atrocious ++ handling, instead simply ignore for now
add Simplifier.unapply
let's not forget about TFor