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

Defined front page as a type