fixed typecheckign bug of systerel mch + tersts