Frontend: avoid jsdoc warnings about undefined types

[gusthoff]

The warnings reported by jsdoc are false positives, as those types indicated in the warnings should be known by the compiler.