basic type parsing for arguments
write tests for type resolution
type reduction for literal expressions