a bunch of dyadic blocks and their tests; gates and latches