move resolve.rs->typeinference.rs
Moved a bunch of stuff out of mod.rs into nameres.rs and typeinf.rs