Add Bluespec examples