Added some instances to Either, Maybe, List, T1..T4, moved type-class references from Tuple to T1..T4

git-svn-id: http://highj.googlecode.com/svn@168 bdcd8b68-9dcc-aa74-f1b9-b4da3e61a8cc