Sequentially Continuous Linear Mappings in Constructive Analysis