adding type signatures to Java.hs
updated log after supervision, updated README so that it contains at least some information