added method for checking whether a type is allowed in final (clean) Jimple code
added validation of types