Mango: A General Purpose Programming Language