type-basics revised