Add Idris support.
Update missing Fireplace files.