Update and rename Integer.cpp to LitInteger.h