Oh, there are not built-ins for Nor and Xnor. Weird.
still do not understand how to use CLOCKED keyword

 seems only to apply in combination with BUILTIN classes