Added variadic parameters, added unified type system compiler-wise