LIGHTWEIGHT CRYSTAL : A STREAMLINED CRYSTAL FRAMEWORK FOR CUTTING-EDGE SOFTWARE