Title: Extracts from a "Kind of Declaration" and "Prelude