Finished more TypInfer Stuff