add overlay for displaying alloy models and improve visitor