Added IntelliJ IDEA project files.
Removed parts of refimpl irrelevant to IR transformation.