Consolidate core annotation transformation work into GhorTransformation