Primitive types plus basic containers mostly. Anything else is just ad-hoc stuff (like algorithms) that should be properly encapsulated, so its representation i

Primitive types plus basic containers mostly. Anything else is just ad-hoc stuff (like algorithms) that should be properly encapsulated, so its representation in a static type system has less utility.