row unification clause 9
unused variable
RowError message
better prettyprinting of rows
apply substitution to fileds, too
fix order of subrow checking
type inference for records and projections