some imports added
Rule 2 has been implemented, but doesn't compile because of a possible typerror in type Bindings