Implementing type casting methods for literals/properties
Updated high level API and demo to use new type checker functions