start adding tests to juliatypes.jl

the subtype algorithm is currently tweaked to reproduce the behavior of F_<:.
running non_terminating() demonstrates execution on the non-terminating
instance from the paper.
Merge branch 'master' of github.com:JuliaLang/julia