update TODO
fixing Tests.hs after merge of guillaume
New (uniform) behaviour for functional extensionality