upgrade the snippet annotator
update the type system