Separate `MathLib` and `InternalMath` implementations in separate classes

[kzrnm]

MathLib の一部を使うだけでも MathLib 全体に依存していることになるので、中国剰余定理を使うだけで畳み込みまでが SourceExpander に含まれてしまう。

実装を分離して MathLib と InternalMath は実装を呼び出すだけにした。