Text this: Theory of hypernumbers and extrafunctions: Functional spaces and differentiation