extract const; add const type