add nonmonadic patterns and decoupling
add actor code from reactive class
organize properties
fix concurrent update check