Added fixpoint recursion for multilevel staging in metaprograms. Refactored for cleaner local logging.