[FEATURE] Add ST and STRef abstractions