type -> immutable

Fix second issue in #7874