Variable defaultConst

Functions for the semantic-types api