Implement guest sign in and constraints

@gabebw @jsteiner


Technically I wrote it. But I meant to change it later!