[ debug ] prettyTCM instead of show in debug output
fixed deBruijn error for dependent instance arguments