Remove unnecessary type checks

The checks in these functions would have been in place in case the
program was designed to be imported and each of these functions was
supposed to be useable by the user directly.
Merge branch 'master' into while_loop_variant