better error messages for implements