Type-based alias analysis in the Toy Optimizer

9 points by asb