fix side-files and mini-kanren.core namespaces