typing of terms