[operators.base] add another ctor
[discretizations] bind local and oversampled discretizations