teach facts about literal n32 and n64
can now handle if_n and unless_n