forking plugs
most samples working in "high-level", organized Circuit.agda a bit
cleaned-up imports, aggregated instances