Finish Nominal/Grace (preliminary impl)

Close #302