The Potential Programming Language