fix return type assertions & arrow functions

fixes #1443
simplify option specification in the TypeAssertions tests