Fix a bug with Dimension.args which were not all Basic instances
Improve documentation and explanations about the philosophy