Clarify exercise requirements

'Types' is leading towards a specific solution. Prefer kinds as it carries less implementation specific meaning.