Improve type checking

[yuxqiu]

Inspired by this article.

It seems that we can seamlessly integrate tools such as beartype or typeguard into truelearn, since we have already typed all the parameters of the public API.

By using these tools, we can

• be more robust (ensure that all the given parameters are of the expected type)
• avoid repeating ourselves (can potentially remove the TypeConstraint)