type-basics