Nothing better than discussing hypotheticals. :)
Accept that the push isn’t careless and play is stopped to issue a yellow card for unsporting behaviour. Don’t think we ever get to “any other offence, not mentioned in the Laws” though since there is a restart specified, a direct free kick as...