A programming language design prototyping tool