just return nats and bools. will need an alternative to quasiquoting to make other things work