Added typed terms.