Better printing, typechecking produces annotated tree instead of just the type.