Work in progress

The main proc is "match-value". It matches the given value to a list of
types. Each types is supposed to be type of java argument.
Test list is jtypes.