Title: TypeFriendly --- This chapter describes various aspects of TypeFriendly itself.