more progress on error messages
progress typechecking