Define flipflops to use smartmatch semantics