Tuple schema improvement, now stores type metadata
New class ConstraintChecker that... checks constraints. Kinda obvious.