Typo fixes on extensions
Formatting cleanups on guice introduction

Use monospace font for the type names and provide a definition
for each one. Clarify a few of the existing definitions.

Drop the final keyword and the interface, these only increase
confusion for the reader in this context.