consistent type-testing micro-lib