more alloy. problem: value as top level sort is too broad