An Eclipse editor for CASL