rename o-associative to o-assoc
solve 2.11, start on 2.12