Change the type of virtualDispatch

It can only ever return zero or one values, so use Maybe instead of Set
Change the dalvik library version number

API breakage