show substitutions in (meta) open terms