(=> (Listterm ?Expr) (= (First ?Expr) 'Listof))
(<=> (Listterm ?Expr) (And (Term ?Expr) (List ?Expr) (= (First ?Expr) 'Listof)))