runtime type reflection for Java's Checker Framework - View it on GitHub