converts erb to haml
adds contraints on user model