Mention trailing, single quote on atoms
Make unification document