A Theory of Bisimulation for a Fragment of Concurrent ML with Local Names