Remove direct equality checks for universes
Remove unecessary Position.nowhere
bug in chk-eq-whnf-app
Global equation and rewrite hints