Implement DollarExp. Fix Bug in CompareExp semantic. Cleanup.