@Appendix
    @Title { The Nonpareil type system }
    @Tag { types }
@Begin
Type checking has been mentioned at various points in this manual,
informally but in sufficient detail for the day-to-day needs of a
programmer familiar with functional and object-oriented programming.
This appendix defines the Nonpareil type system in more detail,
although the level of formality of the modern type systems literature
(e.g. @Cite { $pierce2003book }) is beyond this author's competence.
Information about its implementation is available separately
@Cite { $kingston2005np.implementation }.
@BeginSubAppendices

@Include { types.intro }
@Include { types.expressions }
@Include { types.validity }
@Include { types.subtype }
@Include { types.ancestors }
@Include { types.vars }
@Include { types.inference }

@EndSubAppendices
@End @Appendix
