IACM types are now to be provided as input; don't need to be inferred anymore.