writing

Named local identifiers (no more De Bruijn indexes)

Fix double-quoting of syntax object

Better organization, simpler

Added floating-point standard semantics

Added start of analysis code for first-order language without recursion