About Record Types - Done
About Option Types - Done
About Discriminated Unions - Done
About Modules - Done
About Classes - Done