added typed.js to make the introduction fancier