Add parameter typing, fix old definition version

I was omitting the -noImplicitAny flag when testing; interestingly, even
the old (0.7.3) definitions failed the Travis CI tests...