Added a terminal_of specialization for expression

terminal_of of an expression<T,R> is computed as the terminal_of
of R. This shortcut was missing for some reasons and forced to
use a inefficient semantic_of+terminal_of combo which has been
corrected in related files.
Add support for tieable modf on tables