Fix warnings from BNFC.TypeChecker