added alephType::offset_of