Add canonical example + finish program docs