Adds missing use cases and support for context injection in implicit annotations