Types: Slight additions.
Yesod skeleton added.