Fix tons of issues with regions, bounds, typarams and whatnot