Rewriting the section about atomic types and functions