bug fixes (known types + generic arg raise)