Type Grammar Revisited · Study