Omitting types in an intermediate logic