Started interface verifier

Go style interfaces for Java