Document some built-in types