fix size_thms in MiniMLTerminationTheory

The size functions for exps and vs changed since they now have extra
arguments (for type annotations) in various places.