- java typing system stuff