Added prelude in interfaces + changed Parser.interface type