Thanks for sharing more about the languages he wrote — I didn’t know the term was called conlanging.