made available included types.js