Introduce FamInstCheckType instead of Bool

Fixes #86