it's possible that return types might reference annotated objects

not sure if this is completely desirable... this annotates return types.