Represent Booleans as mode Bu internally
Create FIRM graphs for Minus and handle extended Int literals
Merge pull request #155 from jspam/056-bye-bye-modeb

Fix two more TODOs in the FIRM constructor