Cleanup; improved makefile to rebuild properly, removed ArrayConcat specialisation that wrapped up non-arrays, improved EmptyType to be a nullary metafunction, tidied up the examples to not depend on C++11 Auto, add more detail to the README.md