Text this: Static conformance checking for matrices