Move SynPhony down to libraries and alphabetize