まぁ、そこまで意欲的なものをいきなり作るのは大変だろうから、まずは
「構文がS式のPascal」みたいなものを作ってみたら?