Factor the span class out of types.hpp

[eyalroz]

The span class implementation is deserving of its own file (considering we already have one for optional.