Functional Logic : Higher Order Propositions