Merge typechecking modules into one