A two-dimensional separation of concerns for compiler construction