Add test for nested workflow type compatibility
Modify README to de-emphasise types

Types are now only required for activities. All other types are inferred.
So move the description of types to the Activities section.