reformatting.  Add details on swtiches and gadt enums