refactor reification package