Merge: model: introduce the bottom type