Realized that < > is not needed

  In Property P, P is the set in which all the
  quantified variables are applied correctly.
  This comes from the fact that in the datatype U
  the quantification is expressed as a continuation
  and finally in Property P all those are applied.

  Bottom line:
  We get for free the view function.
Removed view function
Small refactoring