Remove Normalized type
Remove unnecessary constraint
Remove Evaled type