Agda.TypeChecking.With
splitTelForWith
withFunctionType
withArguments
buildWithFunction
stripWithClausePatterns
withDisplayForm
patsToElims