Finished writing syntax definition of CAST. #101