Get rid of STRING-START and STRING-END

String functions are now always 0-based, like arrays
Factor out identifier mangling; define several type predicates