TcHsType
data ExpKind
data EkCtxt