adding a dedicated `assertEQ` annotation to
simplify testing and augment potential type systems