WIP: Add some unicode function synonyms and infix operators

Closes #552.