Add very rough intro to mechanize