[discretizations] remove copy() from discretization interface
[core.interfaces] rename copy_with() -> with_()
[parameters.base] rename copy_with_renamed_parameters() -> with_renamed_parameters()
[core.interfaces] small tweak