Detect intrinsic hookup failure during typechecking

Resolves issues #5 and #50