Ability to build testapp from Rakefile
Full interop with Alloy models and collections.