Rewrite symbolic variable types