Feature request checklist

• There are no issues that match the desired change
• The change is large enough it can't be addressed with a simple Pull Request
• If this is a bug, please file a Bug Report.

Change
Currently it is easy to extend a standard environment, but painful to subset it. Effectively, the user must copy and paste code from the supported library which is less than ideal.

Make it possible to specify in terms of types and operators which functionality they would like to support and ensure that only this subset is exposed at check-time and evaluation time.