Get rid of literal type specifiers

Yay trait reform!