Type checking extensions for AngularJS