(1) Implements the polymorphic function Prelude.==.
(2) Partially implements choices.  Adds choice IDs and a basic work queue.  The results are currently unsound because no fingerprints
    are used to traverse the choices consistently.
(3) Updates makefiles to improve the dependencies with the runtime library files and
    reorganizes those file slightly.
(4) Renames functions like prim_Int_plus to just +.  This requires assembler labels to force the symbol names.
(5) Fixes some issues in the sprite::backend::ref class template.
(6) Adds a file Prelude.read.static_content, which contains declarations that are appended to the translated Prelude.
(7) Renames curry2read to curry2icur, which is more consistent with the curry2poly program.
(8) Fixes an issue in partial application.  The node arity was not computed correctly in cases where the first term is a function that
    normalizes to a partial application.  Those programs would crash.