Added a failure test for function declaration with no type signature; modified other tests to still succeed by adding type signatures for function declarations
Added check for type signature for a function declaration in current or higher scope; added new exception to raise if type signature not found