Remove extraneous definitions from infinite.core
Move examples. Weird case issue on Mac OS X