Compiler: FirmConstructor phase
firm: Expand type mappings
Merge pull request #144 from Kha/firm-types

Firm types
Construct FIRM graphs for Integer comparisons