A free variable calculus with variable splitting