On page 33, paragraph 4, sentences 4 and 5 you use the term ‘term’. Is this about Erlangs TERM?
Constructors create a term of the core type from convenient
inputs. Reducers transform a term of the core type to another term of
that type.
If so, I don’t really have a suggestion as to how to fit that in without having to define it.