from scratch: a meta-encoding of lf in minikanren