Alloy intro

Added some more to the intro's first paragraph.