Move functionality for literals from module Clause2 to module Term