updated reducedinference to support new visitors
added missing include
added explicit visitors which provide direct interfaces for value and
bound
updated trwsi and adsal to support new visitors