Implemented type check run function, so far checks top level assignments