The Xenon Programming Language