Highlight the redex, recursive definitions, new implementation

• lambda-machine now highlights the redex:
  • A global to be fetched is underlined in green
  • A function to be applied is underlined in blue, and its argument is underlined in red
• Top-level definitions can now use direct recursion
• The implementation has changed from naive substitution to a call-by-need abstract machine