Detect intrinsic hookup failure during typechecking
Separate intrinsics verify/resolution and make TypeMapper static
Merge branch 'master', remote-tracking branch 'origin'
Merge branch 'mcguigan-hookupfail'