Add symbolic evaluation for is_integer/1
Minor code refactor & Cosmetic changes