Allow second argument of assert_smaller to be of different type than
first argument since this could be useful for functions that are
written with Universe-style pattern matching, i.e., where the rhs
pattern has different type than the lhs expression.
Merge pull request #1079 from ahmadsalim/improvement/assert_smaller

Make assert_smaller : a -> b -> b