Church-Rosser l-theories, infinite l-terms and consistency problems