type check 'const' expressions if needed