Start using revised typesystem