Add 'defaultExpr' function to SMTType class

Used in the datatype emulator