Made expression associated with identifier in symbol table optional so type signatures don't need one