strongenv Strongly typed representation of binding environments. It guarantees that names are looked-up in the proper context.