Text this: An intensionally fully-abstract sheaf model for $pi$ (expanded version)