diff --git a/frontends/RainPasses.hs b/frontends/RainPasses.hs
index f0601fe..5c5d119 100644
--- a/frontends/RainPasses.hs
+++ b/frontends/RainPasses.hs
@@ -44,8 +44,15 @@ rainPasses =
        ,("Annotate integer literal types",annnotateIntLiteralTypes) --depends on transformInt and constantFoldPass
        
        ,("Record inferred name types in dictionary",recordInfNameTypes) --depends on uniquifyAndResolveVars and annnotateIntLiteralTypes
+       
+       ,("Check types in expressions",checkExpressionTypes) 
+           --depends on transformInt, uniquifyAndResolveVars, constantFoldPass, annnotateIntLiteralTypes, recordInfNameTypes
+       ,("Check types in assignments",checkAssignmentTypes) --depends on uniquifyAndResolveVars, recordInfNameTypes, checkExpressionTypes
+       ,("Check types in if/while conditions",checkConditionalTypes) --depends on uniquifyAndResolveVars, recordInfNameTypes, checkExpressionTypes
+       ,("Check types in input/output",checkCommTypes) --depends on uniquifyAndResolveVars, recordInfNameTypes, checkExpressionTypes
+       
        ,("Find and tag the main function",findMain) --depends on uniquifyAndResolveVars
-       ,("Check parameters in process calls",matchParamPass) --depends on uniquifyAndResolveVars and recordInfNameTypes
+       ,("Check parameters in process calls",matchParamPass) --depends on uniquifyAndResolveVars and recordInfNameTypes and checkExpressionTypes
        ,("Convert seqeach/pareach loops over ranges into simple replicated SEQ/PAR",transformEachRange)
          --depends on uniquifyAndResolveVars and recordInfNameTypes       
        ,("Convert seqeach/pareach loops into classic replicated SEQ/PAR",transformEach)