All-in-one import for batteries-included functionality.
Just type import matr.MatrBundle.given to bring all out-of-the-box givens in scope.
import matr.MatrBundle.given