Standard Library: Types, Equality, and Conversions

Source and arl chunks are in lang-types.Rmd.orig.