Move some ALFE interpreter functionality into headers