fixed type inference of constants with already declared types