Updating up to Typing Constraint