[1-9] limit theorem for set/poset
[1-10] exp in set,set
[1-10] clarified curry(eval) = id
[1-10] exponentiaals in set-arrow
[1-10] a flawed attempt B^AA' <iso> B^AxA'
[1-10] better