[discretefunction.default] some improvements

This

* adds a proper check of the template arguments, giving better static errors
* adds a local_discrete_function(element) method
* fixes make_const_discrete_function for Vector&&