Fix tail-call behavior for upper-level
Use Déjà Vu module system to load main file