Some proposal fixes, including new syntax table and new initial example.