SMS dit: How Developers Use Type-System Related Programming Language Features