Fixed pretty printing of polymorphic vars in annotation declarations.
Fixed collection annotation to use polymorphic variables. Added a simple collection program.