Fixed annotation member functions to extend their interpretation environment with all local annotation declarations.\nAlso, we now thread the local annotation environment during initialization, allowing intramember dependencies.
Fixed annotation member functions to extend their interpretation environment with all local annotation declarations.\nAlso, we now thread the local annotation environment during initialization, allowing intramember dependencies.

DaMSL/K3,yliu120/K3,DaMSL/K3