runtime: replace string literals by contants where possible
runtime: remove a never-defined local var in PrimitiveProcedures.install_
runtime: add beginnings of strongly-typed primitive procedures
runtime: wire in the strongly-typed type predicates
test: add eval button in test HTML
runtime: migrate some number-related procedures to new strongly-typed DSL
runtime: migrate number-related primitive procs to strongly typed DSL