linalg: metaprogramming-friendly linear algebra

module Intf : sig ... end
module Vec : sig ... end

Linalg: vectors

module Mat : sig ... end

Linalg: matrices

module Tensor : sig ... end
type ('s, 'i, 'e) vec = ('s, 'i, 'e) Intf.vec =
  1. | Vec of 's * 'i -> 'e
type ('s, 'i, 'e, 'w) ovec = ('s, 'i, 'e, 'w) Intf.ovec =
  1. | OVec of 's * 'i -> 'e -> 'w