remove subset proofs from flatMap signature
add right associative dependency builder