add type arguments to SaladType