fixed some print mifl & added more to the type checker