%%% Assignment 5
%%% Extra Credit
%%% Out: Wed 24 Oct
%%% Due: Mon 29 Oct 
%
% (25 points) Implement the maximum function max : nat -> nat -> nat
% that returns the maximum of two natural numbers.

val max : nat -> nat -> nat