remove more bounded_linear locale interpretations (cf. f0de18b62d63)
remove more bounded_linear locale interpretations (cf. f0de18b62d63)

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle