Added prelude in infered interface
Still some tweaks to do