Add constants SPLITL and SPLITR to rich_listTheory.

Also update/extend some syntax files.
Update for L3 import (supporting more char/string operations).