Implement guest sign in and constraints

@gabebw @jsteiner


indentation