raise exception when operation requires (a missing) type declaration
added logging