Minor cleanup: only explicitly share the mutex of type repository

Instead of giving access to the full manager, only let the mutex
be known and reusable for the instantiationinformation repo.