Several improvements related to inline of logical and cons functions, hardcoding frequently used symbols and a smaller version of TIME