Re: Do something with TypecheckedSource during build?