Words
<#Include Label="[1]{word}">

Categories of Words and Nonassociative Words
<#Include Label="IsWord"> <#Include Label="IsWordCollection"> <#Include Label="IsNonassocWord"> <#Include Label="IsNonassocWordCollection">

Comparison of Words
<#Include Label="[2]{word}">

Operations for Words
<#Include Label="[3]{word}"> <#Include Label="MappedWord">

Free Magmas
<#Include Label="[4]{word}"> <#Include Label="FreeMagma"> <#Include Label="FreeMagmaWithOne">

External Representation for Nonassociative Words
<#Include Label="[5]{word}">