Constructive and intuitionistic integration theory and functional analysis by