Merge branch 'master' into dev

Conflicts:
	src/Base.agda
Added constructs for results pretty printing

  Probably it's best to have two families of results, a specific one
  (with witness) and a basic one (only types - less informative)
  and use the first only when it's sensible.
Added more hiding constructors
Merge branch 'master' into dev

Conflicts:
	src/Base.agda
Internal - External result data type

Merge branch 'pretty-feedback' into dev

Conflicts:
	src/Example/Even.agda
	src/Example/Simple.agda
	src/Test/Result.agda
Returned normalized Result from test
Modified failWithUsing and passWithUsing to use the exposed Result data type
Added internal module to avoid name clash between Result
Renaming in public result

  Forall -> ForAll (to avoid agda bug)
  Nicer syntax
Updated examples to use new Result

  The normalization is not accurate yet