add new type declarations
find all variables