Implement list type checking. Fix syntax bug in lea.cup.