The toy typesystem