simple type checker init

start with copy existing

intermediate refactor of Parse
refactor complete for parse

don't think I really like the parse code right now, but
at least I'm using some types that descript what's going on
better than previously.