Added functions for constructing types and casting Expression nodes