[refactor] Switched from Manifest to TypeTag