[e12e]

Pascal, modula, zig?

Zig sounds mostly like what you want, though: https://ziglang.org/

Possibly a subset of D could work, too:

https://dlang.org/blog/2018/06/11/dasbetterc-converting-make...

But likely the D language will be too big?

[auxym]

Nim took some inspiration from the Pascal/Modula/Oberon family, notably for its type system. It had an original goal of having a small and simple core, with a powerful macro system allowing extensions where needed, but the language core definitely grew over the years. It's still way smaller that C#/Java/C++. Might interest OP.