Take advantage of static typing

[vilmibm]

Basically no one uses prosaic so it's probably fine to release a 4.x.z that hard-depends on python 3.5 and its static typing support.

I want to add this support because I like static typing. There is not really a concrete reason beyond that (besides all of the nice things that come with static typing).