Playpen for Alloy-based prototyping