add aliased_characters dict to core.characters
implement letterlike pattern and allow letterlikes in symbol names