1. Added the semantics of Formlet<'T>
2. Slight restructuring of the code