`BooleanType` isn't a singleton object -- should it be? If so, we can pass it statically. If not, we need the instance of `BooleanType` the schematic/symbol table gives us. Will defer on opening an issue until we have a decision (I would prefer the former if it is correct).