* more types + const (struct, array, ...)
* more instructions
* analysis passes
* assembly generation (TargetMachine)
