We need to create a type system to resolve issue #7.
We need to create a type system to resolve issue #7.