Types: a -> a  ->  a -> b
New environment tabular with line counts.
Added 'Maybe' to 'Values and Types'.