Add primitive type prelude for Python

[thanhnguyen-aws]

This PR adds prelude for primitive types in Python, which includes: Bool, Int, Float, String, List, Dict.

1. Bool, Int, Float, String and List are wrapped in a generic inductive type Value (similar to type Any in Python)
2. TypeOf, isInstanceOf, isSubtype functions are defined to support basic reasoning about Type for Value.
3. Semantic for binary operations (add and mul) are defined on Value.
4. Basic library functions for List and Dict.

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.