Better type constraint error messges