Tighten up the types, flesh out interpretBlock
Create interpret method and hook it into analyze method.