more work on alias core, near a testable phase