Cleanup some lint warnings
Use Function.box methods to avoid const imports

It was non-ideal to import BDDZERO, EXPRZERO, etc.
This looks slightly cleaner, and avoids dependencies.