Beta-reduce applications to types