First draft of annotation type inference.  One passing unit test for annotations; none for collection construction.