Starting test framework.
Start of types for lists. Start of union typing.