restore type equality
move type equality close to corresponding doc