[Detail] Refactoring done over frontend factory.
[Unit Testing] More deep checking for result type.
[Unit Testing] More result type checks.
[Unit Testing] I really like result type checks.
[Unit Testing] One task less.
[Tasks] Some planning.
[Detail] Fixed match traits for frontend factory.
[Tasks] One less.
[Unit Testing] Tiny refactoring.
[Unit Testing] Finally done with type checking.
[Detail] Dead code elimination.
[Code Clean] Dead code elimination, part 2.
[Code Clean] Another pack of dead code.
[Code Clean] Dead code elimination.

Almost over.
[API] Exposing frontend's dependent types outside.
[Unit Testing] Refactoring. One task less.
[Code Clean] Wording.
[Tasks] Done.
[Detail] Massive renaming.
[Detail] Prettifying.