Compiler specs: Spec the |is| operator