mention github impl
remove old constraint validity subsection
fix transducer