what I have so far. Typing prototype done but expr rule...