Refine decltest protocol in preparation for better failure annotations.

Some changes to the existing decltests triggered by this:

 * No longer necessary to mark non-scalar struct fields with "O:".
 * Can now specify type of a constant with a value constraint.
 * Several bugfixes for limits.ini and stdint.ini.