Add type system, remove some dynamic function invokation