Initial ASDL definition for COOL ASTs.