Add a couple of built-ins to the vectorisation monad