Insert type annotations. close #279