update callMethod to make use of flattened argument representatio
get rid of SingI constraints in user-facing types