Limit upper versions of Alex and Happy

This is temporary until new bool primops have been pushed.