Improve type checking semantics for cast, assign, decl
Add small step code for deref, cast, getfield bug fix.