"bool" typeOp nil cons