This is really a no-risk, learning project, so I'll probably try to implement System F in some form; eventually. It isn't an assignment and I have no deadlines.

But, yes, I agree that starting with some simpler type system (Hindley Milner maybe) will probably be more approachable and will give me a good base to build on.