The familiar five-star rating control for Alloy