Collected comments / questions re type inference in 0.6.3

[Dan Smith]

On Oct 17, 2013, at 4:59 PM, Stephan Herrmann <stephan.herrmann at berlin.de> wrote:

>> Type variables are definitely types.  A type variable produced by capture may, for example, be the type of an expression.  Chapter 4 needs to do a better job of acknowledging that some types (capture variables, intersection types, the 'null' type) are not Types -- they can't be written down in the syntax -- but are still types.
> 
> So, capitalization is semantically relevant? :)

And typefaces. :-)

—Dan