Anyone succeeded in having WebStorm importing the "check" package?

This article shows how to use WebStorm with Meteor, including how to import Meteor packages and enable coding assistance on them (for syntax checking, completion, etc.).
It works very well, except for the check package, which is not recognized.
Did anyone solve this?

I generally don’t get any assistance from Webstorm except for the Meteor object. Neither check nor other packages get successfully recognized. I get some degree of autocompletion, but I always see the “several definitions” indicator, thus no signatures or real code assistance.