Added normalize-probabilities (with tests).
Added subintervals-in.
Added biconditional.
Added tests for some utilities.
Fixed pathnames for system definition.

#P"src/" is not portable, while "src/" is (for ASDF).
Fixed test.

Was using equalp, which is not valud for intervals.
Added slices to wrapped matrices, with tests, dependency on cl-slice.