History for "types"