reviewd type-basics