Added new binding to allow generation of type equivalent environments