Update to README to clarify literal name restrictions
Refactoring to reuse connectives details