spock parameter typing