Twelf Tutorial and Twelf Encoding of Minilang