optimized angular.d.ts