Added missing arguments
Remove most debug output.
Function to translate kind expectation