Call typeCheck less (macro typeCheck doesn't like to be called on an already typed tree), better log such errors.