Type constraints for Javascript.