added typed terms