Switched Core from de brujin indices to unique names, introduced parser (for testing purposes) and a stub typechecker.