Typefterkontroll