put back dependency of types on constants as it is real