Formalized UC9.1/1 using "reads" elementary use case.

Defined front page as a type