Support for Hindley–Milner function type signatures

Hi,

Lately functional programming become quite popular in JavaScript community and along with this hype came point free programming. It would be great if Webstorm could recognize these type of documentation string and suggest autocomplete when using functions that are documented by Hindley–Milner.

Example:

// isString :: * -> Boolean

const isString = R.is(String);

 // toLower :: String -> String

const toLower = flow(String, toLowerCase);

References:

• https://github.com/ramda/ramda/wiki/Type-Signatures
• https://drboolean.gitbooks.io/mostly-adequate-guide/content/ch7.html