Constructive and intuitionistic integration theory and functional analysis door