Excision for $K_2$ Steinberg groups and related theory ($K_2$) mathematics