Minor fixes

Fixed instance of mod as infix without ticks
Fixed two calls to modexp with non-Maybe hint