Support specifying additional built-ins in Checker constructor.
Support specifying additional built-ins in Checker constructor.