added java backend type system examples to the tutorial