new StoPro.jl: first steps towards a type system.