Some improvements for static analysis

Some things I encountered primarily when working with the `Recoil::*()` API.
I'm used to the [phpDocumentor Type syntax](http://phpdoc.org/docs/latest/references/phpdoc/types.html). This type syntax is supported by PhpStorm afaik, which is a widely used IDE. The @﻿method syntax also comes from this specification. I'd never heard of Typhax before today, but the type syntax seems quite elaborate. Your call :smiley:.