Added two example whiley programs.