Typed LISA Toolkit