This is an unrelated synonymous language. Besides this and submitted one, there're few others found online, one[0] being 20y+ old (first release 06/2003). There's also a research one on functional parallel programming[1], but no public implementation seems to exist. (Though conceptually Futhark is similar; maybe that Nova even influenced Futhark's creation.)
Are you sure that a synonym is the opposite of a homonym, rather than say, the logical inverse corollary of a homonym? I'd think "the opposite of a homonym" would just be a word spelled differently from the target word, no?
A homonym is not the same word. Homonyms include both homographs, which are still two different words with different meanings, just spelled the same way (e.g lead[verb] and lead[noun]), and homophones, which are also still two different words with different meanings, just pronounced the same way (e.g. there and their). That said, homonyms also includes word pairs that are both homographs and homophones like "bat", being the animal, the verb, and the baseball equipment (presumably among other uses).
