Yes, checking for assignment compatability still is a sore point. I thought about adding the corresponding TypeMirror as delegate in Type and adding `isAssignable()` to the latter. WDYT?