fix validate-loop-locals
fix static-call :class validation
box if return values if the types of the branches return vals aren't the same primitive
fix annotate-methods
enxure box doesn't get "overwritten" by validate-loop-locals"