Initial Lab4 Commit

Passing 1/4 Lab4Spec