Remove unused code

Checking if type constraints are upheld has been moved to the new AST
and is not used anymore on the commands side.