add missing grammar rule noticed by @combinatorylogic
sync grammar for type with spec