What if we duplicate every tree before typechecking? Do you think it'll noticeably slow down the compiler?