Strong-typing for Coffeescript and Javascript