v0.1.1: norikra types