Agda.TypeChecking.Rules.Builtin
bindBuiltin
bindPostulatedName