Checkpoint: adding menus

About to reboot, so checkpointing first.  Currently doesn't work,
probably due to an unimplemented method on String.