Make bulleting strict for algebra and base_logic

Partially addresses #344 (closed). The changes are large enough that it would be worth it to get a review and merge some changes before applying the same treatment to the rest of the codebase before finally turning on the option going forward.