Text this: A Survey on Some Algebraic Characterizations of Hilbert’s Nullstellensatz for Non-commutative Rings of Polynomial Type