Finished memoizer

needs documentation
tuples need equals() and hashcode()
made quick tests for memoizer and tail call