lambda-mountain
lambda-mountain copied to clipboard
Delete `Frg` from AST Terms
With typed fragments this Term case is no longer necessary.