added some more concrete syntax to the Typ grammar