SPIGLET SPECIFICATION

Spiglet is a subset of Piglet.  The grammar for Spiglet differs
from that of Piglet in two ways:
  - StmtExp is not an Exp in Spiglet, and
  - in many places, Exp is replaced with SimpleExp or Temp.