New implementation.
Update.
Add TODO
Support multi-argument methods and lists.
Merge branch 'new'

Conflicts:
	TestCall.hs
	TestTypes.hs
Remove unused files.