Consider lexenv wrappers as forms in tagbody.