type_fundamentals