Remove unnecessary type checking

Functions that evaluate its arguments should not have in contracts
on the D-type of the evaluated arguments.