Types within HYTROL