manifest typing

explicit identification of variable type

Categories: