add nothing and print to base env, tests for it
richer type env