More wip on flatten-skolems