Annotated array type fix

  - The annotation type of an array definition is strengthened with the
    top-level refinement of the infered type for that expression (that includes
    the length for array literals).
Removing redundant version of resistor
Merge branch 'heapless_fix' into heapless_resistor
Adding the necessary externs as binders
Merge branch 'heapless_fix' into heapless_resistor
Getting some progress with Resistor
Fixing button defs and some progress.
Adding some math in prelude
Fix for subtyping with Top.
Merge branch 'heapless_fix' into heapless_resistor