Added checking for inherited type signatures
Added errors for variable redeclaration from inherited functions