make Group easier to use
improve typechecking speed of KG1