Simplified the type system and bootstrap code, added rational numbers to Scheme part