Type checking for constants complete