back to FreeT
use Church encoded FreeT from free HEAD