generalize definitions introduced with Banach-Steinhaus PR

[affeldt-aist]

The formalization of Baire and Banach-Steinhaus theorems (PR #334) led to the introduction of the following definitions:

bounded_fun_norm
pointwise_bounded
uniform_bounded

See commit 3828a15
(note that it erroneously refers to PR #1107 that has been turned into PR #1300)

They should actually be generalized once the PR on Topological vector spaces
#1300 is completed

@Villetaneuse

[affeldt-aist]

Note that this can be addressed now that topological vector spaces have been merged.

[affeldt-aist]

should we postpone this issue to the next milestone?