added lookup/2 and warning-free specs