Adding Idea and Fact as theoremlike environments

These are already handled correctly by the CSS.