Type check non-count bounds expressions #14
Description
Type check bounds declarations and bounds expressions that use bounds, following the rules outlined in the Checked C design. These can be used in parameter declarations, variables declarations, and for function return, following the rules outline.