Pattern: Iterate and specialize typee constructors
Pattern: Pin var to patterns and compute it in Pattern.Matrix.split