class MicroKanren::Var