Improve translation of cond.
Change some constants' names.
Do GC after initialization.
Fix a bug of gc_limit.