multiple type safe visitors, basic test
added convenience getters to KeyGroup