Support addition of scalar type constraints