Add lib/random.ab .
Rename from_XXX to to_YYY.
Fixed a bug of alpha-conversion.