StoPro.jl: tweaks type system
	test/teststopro.jl
types: still sausage making.