Fapp :: Term -> Term -> Term  -- data constructor