Implement assignment to lists
Implement lexing and parsing for None and is
Implement "is"

This also requires the code to be more careful about canonicalization of
True, False, and None, so we need to grab them from the type context
whenever we create them.