initial support for partial types
deal with build warnings
move code for computing argList in scala