Added run-all task for shapeless-examples.
Eliminated various arity specific/restricted artefacts in the
implementation of polymorphic function values.