Refactor the implementation of the concepts.
Search for a nested static function by default for all intrinsics.
Reimplement the archetypes using nested static functions.
Add test coverage and documentation for several computations.
Remove redundant typedefs from the archetypes.
Use `mpl::set<>::type` instead of `mpl::set<>` in `computation_set`.