Moving abstraction classes to FoxFire