added empty circuit constructor to the core datatype, beginning some higher-order combinators in Plugs.lagda