0.12.3

Added

• Character literals can now be any integer type.

• The integer modules now have popc and clz functions.

• Tweaked inlining so that larger programs may now compile faster
  (observed about 20%).

• Pattern-matching on large sum typed-values taken from arrays may
  be a bit faster.

Fixed

• Various small fixes to type errors.

• All internal functions used in generated C code are now properly
  declared static.

• Fixed bugs when handling dimensions and aliases in type ascriptions.