Add some functions to prelude and export them