Added kernel arg type inference (not reliable, left disabled)