Adding: i) pretty printing for forall and externally bound; ii) bug fixes for annotation inlining and special var type checking; iii) placeholder annotation for sequences and sets.