Можно ли при переопределении метода сузить уровень доступа или изменить тип возвращаемого значения?

Нет, нельзя сужать уровень доступа при переопределении метода. Модификатор доступа должен быть таким же или более широким.

Тип возвращаемого значения при переопределении метода может быть таким же или являться подтипом оригинального типа (ковариантные типы возвращаемых значений).