Inline type declarations

[zhiayang]

Potentially allow something like this:

var s: struct {
	x: int
	// ...
}

what are these called, voldermort types? can substitute named tuples in other languages i suppose. Also need to investigate if this is useful for enumeration types (the cases aren't placed into global scope, so idk how you'd refer to them)