ttmath exp/mnt reversal removed first/second point type (as it is only necessary for concept checking)