Fix some slicing bugs
Add subscription support to experimental attr ref formatter