Add default.nix and lifted-base.nix