Fixes inconsistent error report comparing with elm

Fixes #113 and fixes #114

Author: decioferreira

src/Compiler/Type/Constrain/Module.elm

@@ -53,7 +53,7 @@ constrainDecls decls finalConstraint =
     constrainDeclsHelp decls finalConstraint identity
 
 
-constrainDeclsHelp : Can.Decls -> Type.Constraint -> (IO Type.Constraint -> IO Type.Constraint) -> IO Type.Constraint
+constrainDeclsHelp : Can.Decls -> Constraint -> (IO Constraint -> IO Constraint) -> IO Constraint
 constrainDeclsHelp decls finalConstraint cont =
     case decls of
         Can.Declare def otherDecls ->

src/System/TypeCheck/IO.elm

@@ -137,7 +137,7 @@ foldrMHelp callback ( list, result ) =
 
 foldM : (b -> a -> IO b) -> b -> List a -> IO b
 foldM f b list =
-    loop (foldMHelp f) ( List.reverse list, b )
+    loop (foldMHelp f) ( list, b )
 
 
 foldMHelp : (b -> a -> IO b) -> ( List a, b ) -> IO (Step ( List a, b ) b)