JavaScript library that synthesizes properties with types, operators and more