Added symbols type constraints