"pure type systems instance" -> "pure-type-system instance". More importantly, consider adding "(see -e for valid values)" to make the syntax harder to misunderstand.