types elsewhere

Other relevant things on types you might find valuable.