doc for quil.typed