resolve non-generic arguments
add stub for function instantiation