Add ! to functions

Otherwise vim complains when loading another .idr buffer.