Expression parsing comments.

Refactor portions of the parser for greater clarity and consistency.
What about with multiple `extends` clauses, one of which has no types? Not that you necessarily have to handle that now, but maybe leave a TODO