Add type TypeScheme
Remove warnings

Delete unnecessary variables