Prefixes starting with <insta>

<instal> . <instan> . <insta> (other) .