Removed accidental line
Renamed test functions in error messages as well
Allow connectives to be used in literal names (though pattern with parentheses is still not possible)