Introduce the extension traits for the interface type

[jawoznia]

Similar to #86

pub trait Interface {
    type Exec;
    type Query;
    // type Sudo; once implemented on sylvia
}