Split up tilde functions based on usage#53

Merged

mohamed82008 merged 5 commits intoTuringLang:masterfrom

phipsgabler:phg/split_tilde

Apr 3, 2020

Commits on Mar 26, 2020

Split up tilde namings in backwards-compatile way; some refactoring
phipsgabler
committed

Commits on Apr 1, 2020

Merge branch 'master' into phg/split_tilde
phipsgabler
committed

Commits on Apr 3, 2020