sclass GenericallyScored> extends Var { B score; *() {} *(A a, B score) { super(a); this.score = score; } B score() { ret score; } toString { ret score + ": " + str(get()); } }