typesystem trace: fix build