Get macro assertion to support TypeCheckedTripleEquals.